Ernst - PDFSEARCH.IO - Document Search Engine

Ernst
Results: 4406

#	Item
11	Verification of a Virtual Filesystem Switch ? Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, J¨org Pf¨ahler, and Wolfgang Reif Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2017-01-11 10:44:04 Computer architecture Computing System software C POSIX library System calls POSIX Read Open File descriptor Virtual file system UBIFS Close
12	Which Configuration Option Should I Change? Sai Zhang, Michael D. Ernst University of Washington Presented by: Kıvanç Muşlu Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 System software Software Free software APT Debian Dpkg Ubuntu Configuration management
13	Formal Specification of an Erase Block Management Layer for Flash Memory ? J¨ org Pf¨ ahler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, and Wolfgang Reif Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2017-01-11 10:46:01 Computer data storage Computing Computer memory System software Non-volatile memory Embedded Linux UBIFS Flash memory Memory Technology Device Flash file system Wear leveling Data
14	Automated Documentation Inference to Explain Failed Tests Sai Zhang University of Washington Joint work with: Cheng Zhang, Michael D. Ernst Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Computer programming Software engineering Infinite loop Recursion Software development Software testing Java Extreme programming
15	A Relational Encoding for a Clash-Free Subset of ASMs Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {schellhorn,ernst, Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2017-01-11 10:50:05 Functional predicate Model theory Symbol Limit of a function Universal quantification Mathematical logic Mathematics Logic
16	Automated Diagnosis of Software Configuration Errors Sai Zhang Michael D. Ernst Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Computing Software engineering SQL keywords Software Debugging Grammar Predicate Semantics Null Error Where Extensible Storage Engine
17	Inside a Verified Flash File System: Transactions & Garbage Collection ? ?? Gidon Ernst, J¨ org Pf¨ ahler, Gerhard Schellhorn, and Wolfgang Reif Institute for Software and Systems Engineering Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2017-01-11 10:48:58 Computer memory Computer data storage Embedded Linux Data management Computing Non-volatile memory Flash file system Flash memory Data UBIFS File system JFFS2
18	Modular Refinement for Submachines of ASMs ? Gidon Ernst, J¨ org Pf¨ Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2017-01-11 10:47:24 Formal methods Theoretical computer science Models of computation Abstract state machines Predicate transformer semantics NC 120-cell File locking
19	Dynamics, numerical analysis, and some geometry Ludwig Gauckler ∗ Ernst Hairer † Add to Reading List Source URL: eta.impa.br Language: English - Date: 2018-07-28 17:09:47 Hamiltonian mechanics Mathematical analysis Mathematics Theoretical physics Symplectic integrator Semi-implicit Euler method Multisymplectic integrator Variational integrator Leapfrog integration Integrable system Hamiltonian vector field Hamiltonian system
20	Development of a Verified Flash File System ? Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, Dominik Haneberg, and Wolfgang Reif Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2017-01-11 10:47:24 System software Computer architecture Data management Embedded Linux Disk file systems LogFS Flash file system File system UBIFS Computer file NTFS File descriptor